首页> 外文OA文献 >Towards a practical approach to check UML/fUML models consistency using CSP

【2h】

Towards a practical approach to check UML/fUML models consistency using CSP

机译：迈向使用CSP检查UML / fUML模型一致性的实用方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Abdelhalim, I; Schneider, S; Treharne, H;
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种 {"code":"en","name":"English","id":9}
中图分类

相似文献

外文文献
中文文献
专利

1. An integrated framework for checking the behaviour of fUML models using CSP [J] . Islam Abdelhalim, Steve Schneider, Helen Treharne International Journal on Software Tools for Technology Transfer . 2013,第4期

机译：使用CSP检查fUML模型行为的集成框架
2. Checking Consistency between UML Class and State Models Based on CSP and B [J] . W. L. Yeung Journal of Universal Computer Science . 2004,第11期

机译：基于CSP和B的UML类和状态模型之间的一致性检查
3. An approach to checking consistency between UML class model and its Java implementation. [J] . Rosziati Ibrahim Computing reviews . 2017,第4期

机译：一种检查UML类模型及其Java实现之间一致性的方法。
4. Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP [C] . Islam Abdelhalim, Steve Schneider, Helen Treharne Formal methods and software engineering . 2011

机译：寻求使用CSP检查UML / fUML模型一致性的实用方法
5. A practical model checking approach using FormalCheck. [D] . Barakatain, Leila. 2000

机译：使用FormalCheck的实用模型检查方法。
6. Exploiting UMLS Semantics for Checking Semantic Consistency among UMLS concepts [O] . Halit Erdogan, Esra Erdem, Olivier Bodenreider -1

机译：利用UMLS语义检查UMLS概念中的语义一致性
7. Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP [O] . Islam Abdelhalim, Steve Schneider, Helen Treharne 2015

机译：探索使用Csp检查UmL / fUmL模型一致性的实用方法
8. Executable Architecture Modeling and Simulation Based on fUML. [R] . Wang, Z., He, H., Wang, Q. 2014

机译：基于fUmL的可执行体系结构建模与仿真。

Towards a practical approach to check UML/fUML models consistency using CSP

著录项

引文网络

相似文献

相关主题

期刊订阅